- 双语例句 更多例句
1、
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
互联网摘选
2、
- 相关词组
- trace back to追溯到…;
- trace contamination痕量污染;
- trace elementn.痕量元素，微量元素;
- Without a Trace[电影]神不知鬼不觉;
- No trace线索不明，无法查找;
- cotyledon trace子叶迹;
- trace to找出…的所在， 追踪到…;
- trace elementsn.痕量元素，微量元素( trace element的名词复数 );
- wavy trace波浪形迹线;
- trace mineral微量无机物;
- trace back回忆;溯;
- memory trace记忆痕迹;
- anodal trace离节迹;
- return trace回描，归迹，回程;回迹;
- trace constituent痕量构分;
- trace function迹函数;
- blurred trace模糊痕迹;
- trace out勾画出轮廓;提出;寻踪觅迹;
- trace source跟踪源
- barograph trace气压自配曲线;
- 今日热词
- 热门搜索
- bark n.吠声;树皮;短促响亮的人声;v.（犬）吠;吼叫;
- noisy adj.嘈杂的;喧闹的;充满噪音的;吵吵闹闹的;
- beneath prep.在…下面;在…背后;比不上;
- APP n. 计算机应用程序;abbr. 应用(Application);穿甲试验(Armor Piercing Proof);计算机应用程序;
- cuisine n.烹饪，烹调法;菜肴;
- Arctic adj.北极的，寒带的;极寒的;（态度）冰冷的;n.北极圈，北极地带;（常复数）<美>御寒防水套鞋;
- physician n.医生，内科医生;<口>医学博士;（精神创伤的）医治者，抚慰者;
- tomorrow adv. 在明天，在明日;n. 明天;最近，不远的将来;
- stomach n.腹部;胃;v.欣赏;吃得下;
- mlb abbr.main load bus 大载重量汽车;multilinear board 多长度板;
- multiplication n.增加，增殖，倍增;[数]乘法，乘法运算;
- ending n.结局;结束;终结;最后部份;v.结束，终止(end的现在分词);
